1. Functional and constraint logic programming :
Author: Julio Mariño (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic programming, Congresses,Mathematical Logic and Formal Languages
Classification :
QA76
.
63
.
W45
2011
2. Principles and Practice of Constraint Programming
Author: \ Gilles Pesant (ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
Classification :
QA
76
.
612
.
C7P7
2015
E-Book
,
3. Theoretical aspects of computing -- ICTAC 2018 :
Author: Bernd Fischer, Tarmo Uustalu (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer programming / software development.,Computer science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
L63
